Charles University in Prague Faculty of Mathematics and Physics MASTER THESIS Michal Vaner

Source URL: vorner.cz

• Mathematics
• Algorithms
• Applied mathematics
• Analysis of algorithms
• Cache
• Models of computation
• Computer science
• Sorting algorithms
• Cache-oblivious algorithm
• Divide and conquer algorithms
• Matching
• In-place algorithm

This document is a collection of research notes compiled by Vipul Naik for MIRI on the distribution of computation in the world. It has not been independently vetted, and is chiefly meant as a resource for other research

Source URL: intelligence.org

• Computing
• Parallel computing
• Concurrent computing
• Supercomputers
• Distributed computing architecture
• K computer
• RIKEN
• FLOPS
• Computer data storage
• Google
• Exascale computing
• Supercomputer

CULTURAL ALGORITHMS: THEORY AND PRACTICE Dr. Robert G. Reynolds. Professor Computer Science Associate Research Scientist Wayne State University Museum of Anthropology

Source URL: www.conference123.org

• Mathematical optimization
• Evolutionary algorithms
• Applied mathematics
• Genetic algorithms
• Cultural algorithm
• Operations research
• Artificial life
• Numerical analysis
• Cybernetics
• Multi-objective optimization
• Algorithm
• Evolutionary computation

Algorithm and Implementation Optimisation of Cryptographic Computation over Elliptic Curves (F2m ) Jean-Marc ROBERT Team DALI/LIRMM, University of Perpignan, France Perpignan, the 30th of may 2012

Source URL: raim2012.u-bourgogne.fr

• Cryptography
• Public-key cryptography
• DiffieHellman key exchange
• Elliptic curve cryptography
• Finite fields
• SPEKE
• Elliptic curve DiffieHellman

Revisiting: Algebraic laws for nondeterminism and concurrency Matthew Hennessy Milner-Symposium, Edinburgh

Source URL: events.inf.ed.ac.uk

• Theoretical computer science
• Logic in computer science
• Formal methods
• Programming language semantics
• Models of computation
• Denotational semantics
• Process calculi
• Matthew Hennessy
• Semantics
• Maurice Nivat
• Bisimulation
• Negation

2016 12th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery 13-15August 2016, Changsha, China

Source URL: icnc-fskd.hnu.edu.cn

COMMENTARY Considerations of thin and fat Technological innovations

Source URL: uaw5810.org

• Academia
• Postdoctoral research
• Mathematics
• Theoretical computer science
• Education
• Computability theory
• National Postdoctoral Association
• Turing machine
• Models of computation
• UAW Local
• Alan Turing
• Community

Estimation d’arrondis, analyse de stabilité des grands codes de calcul numérique Jean-Marie Chesneaux, Fabienne Jézéquel, Jean-Luc Lamotte, Jean Vignes Laboratoire d’Informatique de Paris 6, P. and M. Curie Unive

Source URL: www.gdr-mascotnum.fr

• Computer arithmetic
• Mathematics
• Arithmetic
• Numerical analysis
• Computing
• Theoretical computer science
• IEEE standards
• Rounding
• Theory of computation
• Precision
• Signed zero
• Associative property

Surprise Search: Beyond Objectives and Novelty Daniele Gravina Antonios Liapis Georgios N. Yannakakis

Source URL: antoniosliapis.com

• Applied mathematics
• Academia
• Cognitive science
• Cybernetics
• Evolution
• Mathematical optimization
• Machine learning
• Search algorithms
• Genetic algorithm
• Maze solving algorithm
• Evolutionary algorithm
• Evolutionary computation

Kagan Tumer Nomination for the IFAAMAS BOARDKagan Tumer is a Professor at Oregon State University, and the director of the multidisciplinary Graduate Robotics Program (OSU is one of only five universities in the

Source URL: www.aamas-conference.org

• Artificial intelligence
• International Conference on Autonomous Agents and Multiagent Systems
• Systems science
• Multi-agent systems
• Academia
• Models of computation
• International Conference On Intelligent Robots and Systems
• Agent-based model